Nuprl Definition : predicate_rev_implies 11,40
P1  P2 == P2  P1 
latex

clarification:

predicate_rev_implies(T;P1;P2) == predicate_implies(T;P2;P1) 
latex

DefinitionsP1  P2
FDL editor aliasespredicate_rev_implies

origin